- elementarily prime
- мат.элементарно простой (о модели)
English-Russian scientific dictionary. 2008.
English-Russian scientific dictionary. 2008.
Prime model — In mathematics, and in particular model theory, a prime model is a model which is as simple as possible. Specifically, a model P is prime if it admits an elementary embedding into any model M to which it is elementarily equivalent (that is, into… … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Victoria — /vik tawr ee euh, tohr /; for 3 also Sp. /beek taw rddyah/, n. 1. the ancient Roman goddess of victory, identified with the Greek goddess Nike. 2. 1819 1901, queen of Great Britain 1837 1901; empress of India 1876 1901. 3. Guadalupe /gwahd l oohp … Universalium
List of first-order theories — In mathematical logic, a first order theory is given by a set of axioms in somelanguage. This entry lists some of the more common examples used in model theory and some of their properties. PreliminariesFor every natural mathematical structure… … Wikipedia
Cyclotomic polynomial — In algebra, the nth cyclotomic polynomial, for any positive integer n, is the monic polynomial: where the product is over all nth primitive roots of unity ω in a field, i.e. all the complex numbers ω of order n. Contents 1 Properties … Wikipedia
Saturated model — There is an unrelated notion of saturated model in the context of structural equation modeling. In mathematical logic, and particularly in its subfield model theory, a saturated model M is one which realizes as many complete types as may be… … Wikipedia
Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… … Wikipedia
List of mathematics articles (E) — NOTOC E E₇ E (mathematical constant) E function E₈ lattice E₈ manifold E∞ operad E7½ E8 investigation tool Earley parser Early stopping Earnshaw s theorem Earth mover s distance East Journal on Approximations Eastern Arabic numerals Easton s… … Wikipedia
Interpretation (logic) — An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until … Wikipedia
p-adically closed field — In mathematics, a p adically closed field is a field that enjoys a closure property that is a close analogue for p adic fields to what real closure is to the real field. They were introduced by James Ax and Simon B. Kochen in 1965.[1] Contents 1… … Wikipedia